% This file records all our references. It can be datasheets, manuals, papers,
% books...

@manual{AC97spec,
    author          = "Intel",
    title           = "{A}udio {C}odec `97 revision 2.3",
    organization    = "Intel Corporation",
    year            = 2002,
    month           = apr,
    note            = "\url{http://download.intel.com/support/motherboards/desktop/sb/ac97_r23.pdf}"
}

@manual{ALSADriver,
    author          = "Takashi Iwai",
    title           = "{W}riting an {ALSA} {D}river",
    organization    = "Suse",
    year            = 2009,
    month           = feb,
    note            = "\url{http://www.kernel.org/pub/linux/kernel/people/tiwai/docs/writing-an-alsa-driver.pdf}"
}

@manual{ALSAAPI,
    author          = "Takashi Iwai",
    title           = "{T}he {ALSA} {D}river {API}",
    organization    = "Suse",
    year            = 2009,
    month           = feb,
    note            = "\url{http://www.kernel.org/pub/linux/kernel/people/tiwai/docs/alsa-driver-api.pdf}"
}

@manual{BSD,
    author          = "Regents of the University of California",
    title           = "{T}he {S}implified {BSD} {L}icense",
    organization    = "University of California, Berkeley",
    year            = 1998,
    note            = "\url{http://www.opensource.org/licenses/bsd-license.php}"
}

@manual{CodeWorker,
    author          = "Cédric Lemaire",
    title           = "{C}ode{W}orker",
    year            = 1996,
    note            = "\url{http://codeworker.org/manual.html}"
}

@manual{GPL3,
    author          = "Free Software Foundation",
    title           = "{GNU} {G}eneral {P}ublic {L}icense",
    organization    = "Free Software Foundation",
    year            = 2003,
    month           = jun,
    note            = "\url{http://www.gnu.org/licenses/gpl-3.0.html}"
}

@book{LDD3,
    author          = "{Jonathan Corbet, Alessandro Rubini, and Greg Kroah-Hartman}",
    title           = "Linux Device Driver Third Edition",
    publisher       = "O'Reilly",
    year            = 2005,
    month           = jan,
    note            = "\url{http://lwn.net/Kernel/LDD3/}"
}

@manual{LGPL21,
    author          = "Free Software Foundation",
    title           = "{GNU} {L}esser {G}eneral {P}ublic {L}icense",
    organization    = "Free Software Foundation",
    year            = 1999,
    month           = feb,
    note            = "\url{http://www.gnu.org/licenses/lgpl-2.1.html}"
}

@InProceedings{kadavasplos12,
   author           = "{Asim Kadav and Michael M. Swift}",
   title            = "{U}nderstanding {M}odern {D}evice {D}rivers", 
   booktitle        = {ASPLOS},
   address          = {London, UK},
   month            = {March 3-7},
   year             = {2012},
   note             = "\url{http://pages.cs.wisc.edu/~kadav/study/}"
}

@manual{SDV,
    title           = "{S}tatic {D}river {V}erifier",
    organization    = "{M}icrosoft / {M}icrosoft {R}easearch",
    note            = "\url{http://msdn.microsoft.com/en-us/library/windows/hardware/ff552808.aspx}"
}

@InProceedings{safedrive,
    author          = "{Feng Zhou, Jeremy Condit, Zachary Anderson, and Ilya Bagrak; Rob Ennals; Matthew Harren, George Necula, and Eric Brewer}",
    title           = "SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques",
    booktitle       = "OSDI '06",
    address         = {Seattle, WA},
    month           = {November 6-8},
    year            = {2006},
    note            = "\url{http://ivy.cs.berkeley.edu/safedrive/}"
}

@InProceedings{symdrive,
    author          = "{Matthew J. Renzelmann, Asim Kadav, and Michael M. Swift}",
    title           = "SymDrive: Testing Drivers without Devices",
    booktitle       = "OSDI '12",
    address         = {Hollywood, CA},
    month           = {October 8-10},
    year            = {2012},
    note            = "\url{http://research.cs.wisc.edu/sonar/projects/symdrive/index.shtml}"
}

@phdthesis{Reveillere:these2001,
    author          = {R\'eveill\`ere, L.},
    title           = {Approche langage au d\'eveloppement de pilotes de p\'eriph\'eriques robustes},
    school          = {Universit{\'e} de Rennes~1, France},
    year            = {2001},
    type            = {Th\`{e}se de doctorat},
    month           = {December},
    note            = {\url{http://www.labri.fr/perso/reveille/publications/papers/reveillere-thesis.pdf}}
}

@inproceedings{Ryzhyk_CKSH_09,
   title            = {Automatic Device Driver Synthesis with {Termite}},
   booktitle        = {Proceedings of the 22\textsuperscript{nd} ACM Symposium on Operating Systems Principles},
   author           = {Leonid Ryzhyk and Peter Chubb and Ihor Kuz and Le Sueur, Etienne and Gernot Heiser},
   year             = {2009},
   month            = {Oct},
   address          = {Big Sky, MT, USA},
   note             = {\url{http://ssrg.nicta.com.au/publications/papers/Ryzhyk_CKSH_09.pdf}}
}
